/*
 * ----------------------------------------------------------------------------
 *  (C) Copyright European Telecommunications Standards Institute, 2001.
 *  All Rights Reserved.
 *
 *  All copies of this program, whether in whole or in part, and whether
 *  modified or not, must display this and all other embedded copyright
 *  and ownership notices in full.
 *
 * ----------------------------------------------------------------------------
 */
package org.etsi.ttcn.tri;

import java.io.Serializable;

/** 
    A value of type TriTimerIdType specifies an identifier for a
    timer. This abstract type is required for all TRI timer
    operations.
 */
public interface TriTimerId extends Serializable {

    /** Returns the name of this timer identifier as defined in the
	TTCN-3 specification. In case of implicit timers the result is
	implementation dependent (see TRI/Section 6.1.2).
    */
    public String  getTimerName();

    /** Compares timer with this TriTimerId for equality. Returns true
	if and only if both timers identifiers represent the same
	timer, false otherwise.
    */
    public boolean equals(TriTimerId timer);
}
